1. Advances in Computers
پدیدآورنده : \ Edited by atif memon, Ali r. Hurson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
2
.
A394
2015
E-Book
,
2. An Approach to Modelling Software Evolution Processes
پدیدآورنده : \ Tong Li.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
758
.
L5A6
2008
E-Book
,
3. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
4. Component-based Software Development
پدیدآورنده : \ Kung-Kiu Lau
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Component software -- Development.,Software engineering.,نرمافزار مولفهای -- رشد,مهندسی نرم افزار
رده :
E-Book
,
5. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
6. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,مهندسی نرم افزار ,علوم کامپیوتر -- کنگرهها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
7. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی نرم افزار ,رستهها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
8. Handbook of Research on Innovations in Systems and Software Engineering
پدیدآورنده : \ Vicente Garcia Diaz, Juan Manuel Cueva Lovelle, and B. Cristina Pelayo Garcia-Bustelo, editors.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Systems engineering,Software Engineering,مهندسی سیستمها,مهندسی نرم افزار,a03,a05,a03,a05
رده :
TA168
.
H327
2015
9. Information Modelling for Archaeology and Anthropology
پدیدآورنده : \ Cesar Gonzalez-Perez
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,مهندسی نرم افزار
رده :
E-Book
,
10. Making Sense of Agile Project Management
پدیدآورنده : / Charles G. Cobb
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Computer software - Development - Management,Agile software development,مهندسی نرم افزار,نرم افزار - تولید - مدیریت,تولید نرم افزار به روش اگیل
رده :
QA76
,.
758
.
C57
2011
11. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
12. New Horizons in Design Science
پدیدآورنده : \ [edited by] Brian Donnellan...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Information systems.,مهندسی نرم افزار ,نظامهای اطلاعرسانی
رده :
QA
76
.
N4
2015
E-Book
,
13. Reliable software technologies - ADA-Europe 2015.
پدیدآورنده : \ Juan Antonio de la Puente , Tullio Vardanega (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Reliability -- Congresses.,Software engineering,نرمافزار -- اطمینانپذیری -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
73
.
R4
2015
E-Book
,
14. Risk Assessment and Risk-Driven Testing
پدیدآورنده : \ [edited by] Fredrik Seehusen...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,کامپیوتر,شبکههای کامپیوتری,a03,a04,a03,a04,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
R5
2015
E-Book
,
15. SDL 2015
پدیدآورنده : \ [edited by] Joachim Fischer...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Computer organization.,Software engineering.,کامپیوترها -- سازمان ,مهندسی نرم افزار
رده :
QA
76
.
S3
2015
E-Book
,
16. SOFSEM 2018
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : World Wide Web,Software Engineering,وب,مهندسی نرم افزار
رده :
E-Book
,
17. SOFSEM 2013
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science,Software engineering,علوم کامپیوتر -- کنگرهها,علوم کامپیوتر,مهندسی نرم افزار
رده :
E-Book
,
18. SOFSEM 2017
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : World Wide Web,Software Engineering,وب,مهندسی نرم افزار
رده :
E-Book
,
19. Software Engineering.
پدیدآورنده : \ Bertrand Meyer , Martin Nordio (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Software engineering.,نرمافزار -- مهندسی-- کنگرهها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
S62
2015
E-Book
,
20. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی نرم افزار ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
S62
2015
E-Book
,